>>377
定義は一般的なものであり、定理と命題も明らかなので特に明記する必要はない
と考えます。