Add image for natural deduction proof of a lemma