theorem :: XPRIMES0:158

not 158 is prime