54
правки
Изменения
→Лемма о гусенице
<tex> \forall c </tex> мы имеем <tex> (\alpha_c, \beta_c) </tex> — открытое покрытие <tex> [a, b] </tex> и <tex> \exists </tex> конечное подпокрытие
Можно считать <tex> \forall i \ \exists S_i s_i </tex> — которое лежит в <tex> (\alpha_{c_i}, \beta_{c_i}) </tex>, но не лежит в <tex> (\alpha_{c_j}, \beta_{c_j}); \ i \ne j </tex>
<tex> S_1 \subset S_2 s_1 < s_2 ... \subset S_n < s_n </tex>
}}
