theorem :: XPRIMES0:225

not 225 is prime