theorem :: XPRIMES0:1236

not 1236 is prime