theorem :: XPRIMES2:872

canceled;