Freepik

Proof by induction PSD