P
Initializing...
If span(1, u, ū, g, ug) contains u², ū² or some 1/(u − a), then u·R(u)·g = N(u) with R ≠ 0, deg R ≤ 2, deg N ≤ 3 · Prove2Me