es la forma canónica de formula_728.