a、b、cは整数とし、a^2+b^2=c^2とする。a、bのうち、少なくとも1つは3の倍数であることを証明せよ。

という問題で、解答には、
aとbはともに3の倍数でないと仮定すると、aとbは3k+1または3l+2(k、lは整数)と表される。
と書いてあるけれど、3k+1または3k+2ではだめなんでしょうか？
というか、
3の倍数でない整数は、kを整数として、3k+1または3k+2と表せる。
でもいいですよね？