'Zdecydowałem, że lematu Yonedy jest najtrudniejszą trywialną rzeczą w matematyce.' -- @sigfpe