theorem :: XPRIMES1:4997

canceled;