theorem :: XPRIMES0:273

not 273 is prime