theorem :: XPRIMES0:243

not 243 is prime