theorem :: XPRIMES2:888

canceled;