theorem :: XPRIMES0:625

not 625 is prime