theorem :: XPRIMES0:1026

not 1026 is prime