theorem :: XPRIMES0:1925

not 1925 is prime