Statement Let and be smooth manifolds and a smooth map with constant rank . Then the image is an embedded submanifold. Furthermore, the tangent space is the image of the differential .