theorem :: XPRIMES0:582

not 582 is prime