>>512
それは自分で頑張って証明すべきところだ。
そんなに難しいことではない。