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