theorem :: XPRIMES0:620

not 620 is prime