Prove: Yoneda's lemma