>>484
１行目に結論を言って、２行目以降にその証明が書いてある。
これのどこが定義なんだか