Solution of Nonlinear Regulator Problems: Lemmas