theorem :: XPRIMES0:1491

not 1491 is prime