Thm 8 (tangent properties)