این نخستین قضیه مهم است که با استفاده از کمپیوتر ثابت شد.