>>770
(定理 1)は仮定から導き出される内容だ。解釈もクソもあるか