theorem :: XPRIMES2:832

canceled;