theorem :: XPRIMES0:689

not 689 is prime