Die ersten l 1 Zahlen dieser Progression liegen (nach der obengenannten Regel über die Weglassung der Summanden) in derselben Klasse wie at. Nach Voraussetzung tut a,j es auch. Also liegt in dieser Klasse eine Z-gliedrige arithmetische Progression q. e. d.