theorem :: XPRIMES2:942

canceled;