submersion — differentiable map whose differential is everywhere surjective