>>390
その命題も明らかだから書かなかったのかもしれませんね。