theorem :: XPRIMES1:3005

canceled;