«Я вирішив, що лема Йонеди — найскладніша дрібниця в математиці.» — @sigfpe