theorem :: XPRIMES0:572

not 572 is prime