'Я решил, что лемма Йонеды — это самая сложная тривиальная вещь в математике.' -- @sigfpe