前スレの【証明】を分類してみました。
# proof A s,tは有理数
# proof B ★の補題を使う
# proof C シンプル（現在）
# proof D x,yを有理数とする。
議論で行き詰まると、突然証明をスイッチしたりします。
そのような所も、日高氏の魅力の一つです。