theorem :: XPRIMES0:1241

not 1241 is prime