This result formalizes local nonlinear separation principle for observer-based feedback with state-dependent error lyapunov bound by giving precise hypotheses and conclusions for the controlled system under consideration. It is used to justify stability, existence, optimality, or numerical approximation arguments elsewhere in the control theory notes.