A Good Lemma Is Worth a Thousand Theorems

coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade

(2007)