>>376
公理、定義、定理、命題、補題、系を使って論文を書き直せよ