Z treści zadania wiemy, że:  oraz, że ciąg argumentów tej funkcji:  jest ciągiem arytmetycznym. 
Założenia:
 jest ciągiem arytmetycznym. 

Teza:
 jest