定理環境