theorem :: XPRIMES0:1586

not 1586 is prime