O, kompyuter ile isbatlanılğan ilk müim nazariyesi edi.