Más aun, se cumplirá que formula_15.