Así, formula_254, lo que demuestra formula_255.