>>1 そもそも
・定義
・証明
の意味が俺ルールになっているからだ