Sabiendo que formula_2, así como la relación formula_30, se sigue que formula_31.