theorem :: XPRIMES2:4995

canceled;