Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Dear Thomas Kahle, in the last line of your answer, you concluded that $\text{ht}(I)=\text{ht}(I')+1$, but we have to prove that $\text{ht}(I)\le\text{ht}(I')+1$ and why do we get $\text{ht}(IR_{(0)})=1$ ? I am so sorry if you feel my question is stupid. Thank you very much for your answer.