저거 2개 구조 가지는 공간끼리의 연속함수를 cellular랑 smooth둘 다 만족 할 수 있도록 homotopic하게 옮길 수 있냐? approxi thm 2번써도 그 과정에서 성질이 깨질 수 있는데 어캄?