見ていく

ここまでは進む

仮定をする

さらに仮定するが矛盾

もう一方も矛盾

最初の仮定は矛盾するのでこっち(対称性より反対側も)

そしてこう

おわり

余談

Hugoのページバンドルを使ってみた