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