Corollaryは系のこと
定理からすぐに導かれるような結果のこと
では誰かTheoremとPropositionの使い分けを教えてくれ