
theorem Th8:
for x being set holds union { {}, {x} } = {x}
proof
 let x be set;
   {x} = union bool {x} by ZFMISC_1:81;
 hence thesis by ZFMISC_1:24;
end;
