theorem :: XPRIMES0:621

not 621 is prime