theorem :: XPRIMES2:977

canceled;