Corollaryは必然に。

まだ7つしか書いてないけれども、数学ブログ開設1周年(白目)