>>973
間違いを見つけるためにも、公理、定義、定理、命題、補題、系を丁寧に書こうな