La prueba de esto se desprende de la representación de formula_4 como formula_58 o de la expresión de arriba para formula_3.