theorem :: XPRIMES0:1337

not 1337 is prime