theorem :: XPRIMES0:253

not 253 is prime