'J'ai décidé que le lemme de Yoneda est la chose triviale la plus difficile en mathématiques.' -- @sigfpe