>>25
ちなみにLemma1を経由しないで主定理を証明するのは無理そうだった?