theorem :: XPRIMES0:1425

not 1425 is prime