theorem :: XPRIMES0:1065

not 1065 is prime