theorem :: XPRIMES0:605

not 605 is prime