finished warmup lemmas