This method utilizes discrete binary operations, in particular notice that.
(I1) Div(x+y+z,a)=Div(x,a)+Div(y,a)+Div(z,a)+\{0,1,2\}
This means that for one of the elements of the included set {0,1,2} the equation is true. This notation is quite useful for carrying out long calculations...