Add Appendix of Finsler Lemma