The topological rigidity theorem for submanifolds in space forms.