theorem :: XPRIMES2:880

canceled;