检验定理

proving theorem