Всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трехмерной сфере - Перельман - Элементарно же