theorem :: XPRIMES0:66

not 66 is prime