theorem :: XPRIMES0:1720

not 1720 is prime