Itu adalah teorema ganal pertama nang dibukti akan memakai komputer.