theorem Th28: :: ZFMISC_1:29

for x, y being object holds [:{x},{y}:] = {[x,y]}