theorem CANFS: :: SRINGS_3:2

for S being non empty finite set holds Union (canFS S) = union S