If span(1, v, v̄, v̄² + e v², β v̄³ + ζ v² + e v³) is conjugation-stable and β ≠ 0, then |e| = |β| = 1 and ζ = −β e² ζ̄

Initializing...

If span(1, v, v̄, v̄² + e v², β v̄³ + ζ v² + e v³) is conjugation-stable and β ≠ 0, then |e| = |β| = 1 and ζ = −β e² ζ̄ · Prove2Me