theorem :: XPRIMES0:292

not 292 is prime