sol054

El resultado es $\cierto$.

Puedes consultar una explicación de esta solución.