theorem :: XPRIMES0:606

not 606 is prime