どのみち証明する方法がないのでは?