Fixed two typos in proof of Tag 07K5 (lemma-unbounded-right-derived).
Merge pull request #5 from drydh/patch-1

Fixed two typos in proof of Tag 07K5 (lemma-unbounded-right-derived).