Based on the numerical evidences, an analytical expression of the Dirichlet-to-Neumann mapping in the form of infinite product was first conjectured for the one-dimensional characteristic Schrödinger equation with a sinusoidal potential in [Commun. Comput. Phys., 3(3): 641-658, 2008]. It was later extended for the general second-order characteristic elliptic equations with symmetric periodic coefficients in [J. Comp. Phys., 227: 6877-6894, 2008]. In this paper, we present a proof for this Dirichlet-to-Neumann mapping.