Summarization of the traditional proofs