>>222
証明は見りゃすぐわかるレベルじゃん
問題は定式化やろ