商多様体定理の実用的な価値とは?