theorem :: XPRIMES0:1067

not 1067 is prime