Introducing non-degeneracy hypotheses

Again, things are quite subtle....

because G =(u[1]u[3]) is not in K[U']