Recordemos nuestra fórmula inicial, que podemos reescribir como