union {{}} = {} by ZFMISC_1:31;
hence Web {{}} = {} ; :: thesis: verum