theorem :: XPRIMES2:848

canceled;