theorem :: XPRIMES0:1072

not 1072 is prime