>>855
式6が恒等的に成り立つ仮定が偽の可能性は排除できてますか?