theorem :: XPRIMES0:136

not 136 is prime