theorem :: XPRIMES0:578

not 578 is prime