Ahora falta demostrar que si cumple 3), entonces cumple 1):