theorem :: XPRIMES0:1193

canceled;