theorem :: XPRIMES0:609

not 609 is prime