Entonces se haría: