A New Proof for the Linear Filtering and Smoothing Equations, and Asymptotic Expansion of Nonlinear Filtering. - Masahiro Kurisaki (CoRR, 2025)