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

I'm trying out the online edit functionality in GitHub (which is so-so). Anyway, since it is now really easy to browse the stacks project online and one sees file names and line numbers, fixing typos "offline" has also become much simpler.