theorem :: XPRIMES0:1581

not 1581 is prime