theorem :: XPRIMES0:1226

not 1226 is prime