 Since the map d restricts to 0 on "I""x"2 (the reader should verify this), d descends to a map from "I""x" / "I""x"2 to the dual of the tangent space, ("T""x""M")*.One can show that this map is an isomorphism, establishing the equivalence of the two definitions.Just as every differentiable map "f"