theorem :: XPRIMES0:1936

not 1936 is prime