>>287
いや、それはもういいよ
論として成り立っていることを証明してみよう!