theorem :: XPRIMES0:1830

not 1830 is prime