If M is two-sided and three free bⱼ have bⱼ, X bⱼ ∈ H_N + M, then H_N + M = span(X^(N−1), X^N, X^(N+1), G, X G) for some G

Initializing...

If M is two-sided and three free bⱼ have bⱼ, X bⱼ ∈ H_N + M, then H_N + M = span(X^(N−1), X^N, X^(N+1), G, X G) for some G · Prove2Me