dehn invariant