This is expressed by saying that 9 + 4 equals 1 "modulo 12" or, in symbols,