theorem Th2: :: DYNKIN:3

for a, b being set holds Union ((a,b) followed_by {}) = a \/ b