El reverso, esto es, formula_93, es falso.