私はSTさんにツッコミを入れようという気には、何故かならないんですよね。
ただ、OTSさんには突っ込まざるを得ない気持ちになる。
γが代数的無理数の証明をしている最中に、γが有理数になる証明は既にしたと聞いて、たまげましたからねw
（古参の方はもしかすると、薄々気づいていたのかもしれませんが。）