定理，定义等的配置