除非定理是美丽的,否则它们毫无价值。