数学定理,关于数学定理的所有信息