例えば補題がどうこうというのはこうやって分かりやすいからです
http://integers.hatenablog.com/entry/2018/04/13/002556
そしてこれを見てどう思うかです
http://y-daisan.private.coocan.jp/html/kanzensu.pdf