theorem :: XPRIMES1:3002

canceled;