形式定理

formal theorem