theorem :: XPRIMES2:917

canceled;