定理から定理を求めることを演繹的じゃないと言われると、もうID:zFHfz07h0には何も通じないと考えたほうが良さそう。