Per D1 f(A')=f(A)+f(A'') dove A'' ha cA_j al posto di A_i. Applicando ancora D1 e D4 segue f(A'')=0 da cui la tesi.