theorem :: BINARI_6:39
for A, B, C being Element of Class EqBL2Nat holds (A + B) + C = A + (B + C)