Supongamos que formula_62 fuera una unidad de formula_49 Se tendría, entonces, que hay un formula_27 tal que formula_28 Por lo que formula_66