Introduction
摘要
What is a proof? Is a proof just a verification that a statement is true or is it also a key for understanding the theory in which the corresponding theorem is stated?