For z ≡ a v̄³ + b v̄² + c v² + d v³ mod span(1, v, v̄) with a five-dimensional hull, the hull contains a non-zero α v² + β v³ exactly when a c̄ = b d̄

Initializing...

For z ≡ a v̄³ + b v̄² + c v² + d v³ mod span(1, v, v̄) with a five-dimensional hull, the hull contains a non-zero α v² + β v³ exactly when a c̄ = b d̄ · Prove2Me