Proof is trivial! It's trivially shown by extending with a context-free sequence bounded by the Galois configurations (Hint: examine the fourth isomorphism theorem)