Finite-Horizon Linear Quadratic Regulator Theorem