theorem :: XPRIMES2:1467

canceled;