theorem :: XPRIMES0:1073

not 1073 is prime