>>369 訂正の訂正

>>368の訂正

m→∞を考えると、まずqは任意のQの元まで拡大される *)
 ↓
m→∞を考えると、まずp/qは任意のQの元まで拡大される *)
 ↓
m→∞を考えると、まずf(x) = 1/w(q) の場合のp/qは、任意のQの元まで拡大される *)

かな?(^^ (>>376を書いていて気付いたよ)