というかよく考えたら公理は定理に含まれるような…