theorem :: XPRIMES0:1077

not 1077 is prime