theorem :: XPRIMES0:1060

not 1060 is prime