que es válida cuando la ecuación se cumple.