Local High-Gain Observer Convergence Theorem for Triangular Observable-Chain Systems