Por lo tanto, formula_20 es distinto de cero.