Se probará la doble implicación.