Updating Appendix B (used to be C): Proofs for some results

[doerthe]

This addresses #issue162.

I changed the proof section adding Enrico's proof of the interpolation lemma and Peter's suggestions.

---

Preview | Diff

[TallTed]

Updating Appendix B (used to be C)

As with sections (which should not be referred to by the perpetually-unstable number), it's better to refer to the content/title of the Appendices than to their letter.

[doerthe]

You are right, I just changed the title and included the name of the appendix.

[pfps]

Looks OK

[franconi]

I changed the proof section adding Enrico's proof of the interpolation lemma and Peter's suggestions.

@doerthe: Maybe I am doing something wrong, but I don't see the proof of the interpolation lemma in the PR.

[doerthe]

@franconi line 1919. The proof was already in RDF 1.1. This was also the reason why I was so confused before that. You suggested a proof but no changes in Appendix C. But I understand why you overlooked it.

How should we change the text? Adding the name "interpolation lemma" again? Or a link to the first time it is stated?

[franconi]

@franconi line 1919. The proof was already in RDF 1.1. This was also the reason why I was so confused before that. You suggested a proof but no changes in Appendix C. But I understand why you overlooked it.

How should we change the text? Adding the name "interpolation lemma" again? Or a link to the first time it is stated?

@doerthe, you are right, I complete overlooked it. It is fine, no change is to be done.