2 ms·

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