Stabilizability of (A,B) is not enough to guarantee uniqueness of the "good" solution to ARE. Detectability of the artificial system (A,sqrt(Q)) must also be satisfied to guarantee existence of a unique positive semidefinite S that stabilises the system. If positive definiteness of S is required, then (A,sqrt(Q)) must be observable.