theorem :: XPRIMES0:1582

not 1582 is prime