theorem :: XPRIMES1:1008

canceled;