theorem :: XPRIMES2:6467

canceled;