theorem :: XPRIMES2:4942

canceled;