theorem :: XPRIMES2:4984

canceled;