theorem :: XPRIMES0:1578

not 1578 is prime