  We prove a generalized version of the classic deformation lemma from Morse
Theory that considers functions going to $-\infty$ at a compact set, and
allowing the lower value of the deformation to be $-\infty$. The result is
valid for a class of functions satisfying a suitable growth condition.
