dom (id {} ) = {} by Th71;
hence id {} = {} ; :: thesis: verum