k jest całkowite.
Jeżeli liczba 6k jest podzielna przez 6, to 6k + 1 nie będzie podzielna przez 6.
6k jest jednak podzielne przez 2, a 6k+1 jest nieparzyste, stąd musimy użyć 6k+2, które jest podzielne przez 2, ale nie przez 6.
Liczba parzysta = 6k + 2
Kolejna liczba parzysta = 6k + 2 + 2
(+2 stąd, że każda kolejna liczba parzysta jest o 2 większa od poprzedniej)
Sumując te liczby otrzymujemy:
6k + 2 + 6k + 4 = 6k + 6
Wyłączając przed nawias:
6 (k + 1), co jest podzielne przez 6,
co kończy dowód
