循环证明的例子有哪些