theorem :: XPRIMES0:1024

not 1024 is prime