theorem :: XPRIMES0:1932

not 1932 is prime