First, the existence conditions on the solutions to the algebraic Riccati equation are reviewed. Then, a strict proof is presented for a necessary and sufficient condition on the existence of a unique optimal positive definite solution to this equation. By using this condition, some untrue results on the design of robust decentralized controllers are corrected.