(purely optional) proof of the relation between eigen decomposition and low-rank approximation

This is from the readings:

A proof that eigen decomposition in fact gives the basis for low-rank approximation of a matrix.(Only for mathematically brave).