theorem :: XPRIMES0:1165

not 1165 is prime