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