Update Wilson_primality_test.hs