This paper deals with feedback stabilization of second order equations ofthe form
ytt + A0y + u (t) B0y (t) = 0, t ∈ [0, +∞[,
where A0 is a densely defined positive selfadjoint linear operator on areal Hilbert space H, with compact inverse and B0 is a linear map in diagonal form. It isproved here that the classical sufficient ad-condition of Jurdjevic-Quinn andBall-Slemrod with the feedback control u = ⟨yt, B0y⟩Himplies thestrong stabilization. This result is derived from a general compactnesstheorem for semigroup with compact resolvent and solves several open problems.