theorem :: XPRIMES0:925

not 925 is prime