theorem :: XPRIMES0:156

not 156 is prime