Вложение конечного $CW$-комплекса в шар

Доказывается следующая теорема: каков бы ни был конечный $CW$-комплекс $X$ размерности $n$, евклидов шар размерности $(n+1)(n+2)/2$ можно снабдить такой структурой $CW$-комплекса, что $X$ окажется изоморфным некоторому подкомплексу этого $CW$-комплекса. Библ. нет.