Si no fuese así, el par formula_1 y formula_2 sería inconmensurable.