Lyapunov Equations: A (Fixed) Point of View [Lecture Notes]

I would like to present and (partially) prove an interesting statement about the existence of solutions to the discrete time Lyapunov equation (see “Summary”)