定義なら証明しようがないな