举个定理的例子