Sei n ∈ N + {\displaystyle {}n\in \mathbb {N} _{+}} . Für jedes d ∈ D {\displaystyle {}d\in D} gibt es e ∈ D {\displaystyle {}e\in D} mit d = n e {\displaystyle {}d=ne} . Dann gilt auch [ d ] = n [ e ] {\displaystyle {}[d]=n[e]} in D / H {\displaystyle {}D/H} .