Prove the Yoneda Lemma as an Isomorphism