Add theorem of vector fields.