theorem :: XPRIMES1:1260

canceled;