theorem :: XPRIMES1:3008

canceled;