theorem :: XPRIMES0:1025

not 1025 is prime