Entonces Y → X.