Что у меня с головой?⁠⁠

Сижу, учу теоремы к экзамену. Читаю доказательство. Ага, смотрю, используем Лемму 2.9. Хорошо, вспоминаю: точно такая лемма была, да, точно была. Стоп! Дак получается, что это баян!
Ну и что мне делать? Скоро модератора звать начну...