Discussion of the dg nerve construction
Adding crucial proposition
Some small modifications