theorem :: XPRIMES0:570

not 570 is prime