theorem :: XPRIMES0:206

not 206 is prime