n EXISTE0 Yn CLAVECCY*CLAVEn