theorem :: XPRIMES1:4977

canceled;