Existe formula_73 tal que