theorem :: XPRIMES0:165

not 165 is prime