任意の位相多様体は三角形分割可能ですかね?