Доказательство:

n = 4k, где k - коэффициент пропорциональности.

n² + 8n = 16k² + 8 · 4k = 16(k² + 2k)

Очевидно, что  16(k² + 2k) делится на 16.

Требуемое доказано.