fundamental theorem of morse theory