y que se reduce a formula_20 al sustituir "2s" = ("a" + "b" + "c") y simplificando.