Entonces la implicacion resulta de que ambos tienen que ser iguales para que sea verdadero, de lo contrario seria falso...