それはさておき、おっちゃんは
>>3に引用した旧スレ564の超越基底Sを使う証明は納得しているの? それをちょっと確認しておきたかったんだ(^^