  We give some details about the stationary phase lemma. We first prove a
special case where the high order terms are derived explicitly. Based on that,
we prove a more general case by using Morse lemma.
