theorem :: XPRIMES0:574

not 574 is prime