Lemma 2.1 over Z   : 20000 random instances, failures = 0
Lemma 2.1 over Z[i]: 20000 random instances, failures = 0
