定義がなければ証明に意味はない