theorem :: XPRIMES0:566

not 566 is prime