theorem :: XPRIMES0:1059

not 1059 is prime