theorem :: XPRIMES2:884

canceled;