这位 数学家 花了 数年 时间 证明了 这个 定理 ， 展示了 它 在 解决 实际 问题 中 的 应用 价值 。