theorem :: XPRIMES2:875

canceled;