>>559
元々の示すべき命題が数学的に余り意味がないからな。
条件を繰り返し書いたとしても、それは用いてよい事柄を書いている訳で、
証明は示すべき結論を証明の途中で用いて示さなければ、それでいい訳だが。