theorem :: XPRIMES0:1079

not 1079 is prime