theorem :: XPRIMES0:1820

not 1820 is prime