theorem :: XPRIMES2:4977

canceled;