用来证明一个事实或理论的例子。