theorem :: XPRIMES0:581

not 581 is prime