どう考えても、あとから参照するのに邪魔な解説があるより、定理→証明→定理→証明→定理→……スタイルの方がいいや