>>581
無限次拡大でも成立するでしょ