Both of these theorems are only known to be true by reducing them to a computational search that is then verified by a computer program.
Και τα δύο γνωρίζουμε ότι ισχύουν, ανάγοντάς τα σε υπολογιστική αναζήτηση, που στη συνέχεια επαληθεύεται με κάποιο πρόγραμμα υπολογιστή.