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