theorem :: XPRIMES0:1030

not 1030 is prime