> 米ちゃんってそんなに難しいんだっけ？
普通によくある証明（どれも大同小異）を見ると、あんなごちゃごちゃした
証明をそのまま追いかけて分かるとは思えないし、そもそもあんな証明を
書いている人が補題を明瞭に理解できているとは思えないです