A proof of the convergence of the Kelley- Bryson penalty function technique for state- constrained control problems