Прежде чем доказать сложную теорему о выпечке идеального торта, шеф-повар сначала установил лемму о том, что точные измерения ингредиентов имеют решающее значение.
Пытаясь вспомнить слово для «маленького, пушистого, травоядного млекопитающего», я обратился к лемме, представляющей его значение, но не смог сразу извлечь его фонологическую форму — звуки, из которых состоит слово «хомяк».