証明開始、ってのも欲しいね。
いきなり結論逝ってQEDは馬鹿だ。