Survey on the proof of the fundamental lemma