Entonces equivale a: