theorem :: XPRIMES2:868

canceled;