For g = G(v) + κ · conj(v G(v)) with |κ| = 1 and deg G ≥ 1, (1, v) and (v̄, 1, g) form a 2×3 configuration in span(1, v, v̄, g, ḡ)

Initializing...

For g = G(v) + κ · conj(v G(v)) with |κ| = 1 and deg G ≥ 1, (1, v) and (v̄, 1, g) form a 2×3 configuration in span(1, v, v̄, g, ḡ) · Prove2Me