'Decidi que o lema de Yoneda é a coisa mais trivial e difícil da matemática.' -- @sigfpe