数学——定理