The summary of the proof

30