Định lý Morse-Sard - Lê, Duy Tuấn (Trường Đại học Đà Lạt, 2010)