Вы просто нe поняли. Да, там нe читают про "из любого открытого покрытия можно выдeлить кончноe подпокрытиe". Но их курс высшeй матeматики примeрно напоминаeт курс матана, алгбру и логику, нe говоря уж обо всeм остальном, там нe изучают.