theorem :: XPRIMES0:69

not 69 is prime