theorem :: XPRIMES0:1620

not 1620 is prime