True innovation comes from solving real-world problems.
除非定理是美丽的,否则它们毫无价值。