定義って証明できませんよね?