>>653 つづき

でも、まあ、証明は考えたよ
一つは、>>654と同じ方針
一つは、>>654が正しいことを前提として（数学的には、補題として使うような）、証明する方針と

まあ、書いたら、皆様のお楽しみを奪うから書かないけどね