数年後に証明の改訂は、数学者が見つけた可能性のある（しかし有限の）設定をすべて紹介するための証拠としてコンピューターを最初に使用したのですか？
A revision of the proof a couple of years later was the first to use computers as proof to go over all the possible (but finite) settings found by mathematicians ?