Haken also showed that there was a finite procedure to find an incompressible surface if the 3-manifold had one.
Хакен также показал, что существует конечная процедура для поиска несжимаемой поверхности, если 3-многообразие таковое имеет.