theorem :: XPRIMES0:166

not 166 is prime