Continuous-Time Algebraic Riccati Equation Existence and LQR Optimality Theorem