كانت أول نظرية كبيرة بيتم إثباتها باستخدام الكمبيوتر.