If M is two-sided without window terms and three free bⱼ have X bⱼ, (X² + β) bⱼ ∈ H_N + M, then M = span(X^(N−2) + eX^(N+2), βX^(N−3) + ζX^(N+2) + eX^(N+3))

Initializing...

If M is two-sided without window terms and three free bⱼ have X bⱼ, (X² + β) bⱼ ∈ H_N + M, then M = span(X^(N−2) + eX^(N+2), βX^(N−3) + ζX^(N+2) + eX^(N+3)) · Prove2Me