Si existe y, no existe y , y recíprocamente.