Potwierdzenie prawdziwości danego twierdzenia.