theorem Jajo: :: ROUGHIF2:4

for A, B, C being set holds A \+\ C = (A \+\ B) \+\ (B \+\ C)