chain rule 이용해서 DF(p) 가 T_p(R^n) 에서 T_F(p)(R^n) 으로 가는 linear map 임을 보이는건데 T_F(p)(R^n)에 있는 원소 v,w를 T_F(p)(R^n) 로 어떻게 매핑해야 할지 모르겠음...