[azan_]

And the number of things you can prove using Yoneda lemma just proves how powerful category theory is.