theorem :: XPRIMES0:1225

not 1225 is prime