theorem :: XPRIMES0:1064

not 1064 is prime