এই উপপাদ্যটি প্রথম উল্লেখযোগ্য উপপাদ্য যা কম্পিউটারের সাহায্যে প্রমাণ করা হয়েছে।