Morse-Darboux lemma for surfaces with boundary

We formulate and prove an analog of the classical Morse-Darboux lemma for the case of a surface with boundary.