ए कंप्यूटर के उपयोग करके साबित होए वाला पहला प्रमुख प्रमेय रहिस।