合同式の応用　一晩悩んだけどわかりません。

問題 任意の整数の3乗は、7を法として0,1,-1のいずれかに合同であることを証明せよ。 証明 aを整数とする。aを7で割ったときの余りは0から6までのいずれかになるが、6≡-1(mod7),5≡-2(mod7),4≡-3(mod7)より、7を法としてaは0,±1,±2,±3のいずれかに合同である。 〜 とありますが、「6≡-1〜4≡-3 より 7を法として〜」　というところで、どうして　より　で繋げることができるのかわかりません。 ご教授宜しくお願いします。