务工老人半个世纪推导出上百条定理