theorem :: XPRIMES0:1066

not 1066 is prime