theorem :: XPRIMES1:1006

canceled;