we denote The product manifold N x M admits two projection maps, which TN:NxMN T: NX M M. Prove that the sum of the induced maps of tangent bundles TTNTTM: T(N M) TN TM is a diffeomorphism.