Theorem. [009Q]

1. The tangent bundle is a a manifold of twice the dimension of M.
2. The tangent bundle is a smooth sub-vector-bundle of

TODO