এটি প্রথম বড় তত্ত্ব যা কম্পিউটার ব্যাবহারকে প্রমাণ করতে ব্যাবহৃত হয়।