theorem :: XPRIMES2:8888

canceled;