a \equiv c \land b \equiv d \Rightarrow a+b \equiv c+d