theorem :: XPRIMES0:1259

canceled;