text: В терминах накрытий эта теорема формулируется следующим образом: Гладкое двумерное слоение на замкнутом многообразии M 3 {\displaystyle M^{3}} с нестягиваемой универсальной накрывающей имеет компактный слой.