Porque esa declaración verdadera es equivalente a X, X es verdad.