定理、補題と分けて考えればいいのに、フラットに考えてスパゲッテイをつなげて出来たと思い込むｗ