theorem :: XPRIMES0:576

not 576 is prime