theorem :: XPRIMES0:193

canceled;