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

背理法を使って解くらしいんですが

a,bのうち、少なくとも1つは3の倍数である→a,bはともに3の倍数でない

までは分かっても、その後の

a,bはともに3の倍数でない→a=3m±1,b=3n±1（m,nは整数）と表せる

という流れの意味が分かりません
なんで記号でじゃなく±1という具体的な数値が出てくるんでしょうか？