theorem :: XPRIMES0:820

not 820 is prime