This states that the fiber of a smooth submersion is an embedded submanifold of the expected dimension, and its tangent space is the kernel of the differential. It is important because it identifies level sets of submersions as smooth geometric objects with a precise tangent-space description.