theorem :: XPRIMES0:159

not 159 is prime