Como todos los casos con formula_152 conducen a contradicción, debemos concluir que formula_146.