theorem :: XPRIMES0:1580

not 1580 is prime