Improve a proof in derived.tex

Namely, the proof that RF is defined at two out of three of a
distinguished triangle then it is defined at the third.