>>368 訂正

m→∞を考えると、まずqは任意のQの元まで拡大される *)
 ↓
m→∞を考えると、まずp/qは任意のQの元まで拡大される *)