Dane:

, gdzie:

 - pierwsza liczba

 - druga liczba

Można zdefiniować twierdzenie:

Dla dowolnych liczb naturalnych dodatnich  zachodzi równość:

Przyjmijmy