Ou X = Y, ou Y = Z, mas não ambos. Se Y = W, então X = W. Ora, Y = W, logo: