Помогите решить пример! (ab-1)[latex] ^{2}[/latex]

Начало доказательства: a= 3n1+ k, b= 3n2+ k, 0 < k < 3. ab- 1= 3n1n2+ 3n1k+ 3n2k+ k^2- 1. Первые 3 члена в правой части делятся на 3. Значит, нужно доказать. что k^2- 1 равно нулю или делится на 3. Но это очень трудная проблема