theorem :: XPRIMES2:8977

canceled;