theorem :: XPRIMES1:293

293 is prime