>>220-221
定義は自由なのだが。
定義→(補題)→定理→証明→系
と進んで行くのが数学だが。