Se puede, además, verificar que para todo formula_19 se cumple que formula_27.