theorem :: XPRIMES0:730

not 730 is prime