theorem :: XPRIMES2:4994

canceled;