theorem :: XPRIMES0:1625

not 1625 is prime