theorem :: XPRIMES2:5977

canceled;