호모토피 이론의 다양체 분류에 대한 응용