Proof of propostion that descriptions implies conditional descriptions

[rleiva]

Review the proof of \ref{prop:description_implies_conditional}