theorem :: XPRIMES0:425

not 425 is prime