@XanderHenderson your description help me a lot. Multiple examples are good for understanding. Can you help with the following construction?
In order to prove this theorem I need to construct a nested sequence of subsets $I_n$of $G_n$, so that i can use the nested interval property. I am not sure how I should create this.