theorem Th29: :: ZFMISC_1:30

for x, y, z being object holds
( [:{x},{y,z}:] = {[x,y],[x,z]} & [:{x,y},{z}:] = {[x,z],[y,z]} )