先说明定理、定义，然后进行实验验证和实例证明，叫证明式结构。