theorem :: XPRIMES0:1724

not 1724 is prime