theorem :: XPRIMES0:1164

not 1164 is prime