theorem :: XPRIMES0:236

not 236 is prime