он доказал что всякое связное, односвязное, компактное трехмерное многообразие без края гомеоморфно сфере S3
... и добавил:ппц нагромождение определений, конечно
... и добавил:многообразие это, помнится, счётный набор атласов, а атлас - это две области и диффеоморфизм между ними, а область - открытое связное множествго
... и добавил:открытое - значит не содержит свою границу
связное - значит можно любые две точки соединить не выходя за пределы
... и добавил:односвязное - что любой контур можно стянуть в точку