This theorem stumped mathematicians for more than a hundred years, until a proof was developed which ruled out large classes of possible counterexamples, yet still left open enough possibilities that a computer program was needed to finish the proof.
這個定理困擾了數學家一百多年，直到一個證據被開發出來，排除了大量可能的反例，但仍然留下可能性，需要一個計算機程序才能完成證明。