formula_15, esto demuestra que formula_16 cuando