Por lo tanto, al asumir X, Y es verdad.