theorem :: XPRIMES1:1010

canceled;