theorem :: XPRIMES0:1730

not 1730 is prime