Założenie:

 to skończony ciąg arytmetyczny, natomiast  to liczba wyrazów tego ciągu.

Teza:

Ciąg ma dziesięć wyrazów.

Dowód:

Skoro wiemy, że , to zapiszemy: