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