theorem :: XPRIMES2:4997

canceled;