It was the first major theorem to be proved using a computer.
See oli esimesi olulisi teoreeme, mis tõestati arvuti abil.