We extend and propose a new proof for a reduction theorem near a simple turning point due to Aoki et al., in the framework of the exact WKB analysis. Our scheme of proof is based on a Laplace-integral representation derived from an existence theorem of holomorphic solutions for a singular linear partial differential equation
