theorem :: XPRIMES1:1210

canceled;