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} .
![{\displaystyle {}[d]=n[e]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/079b2967df39ee0fdfa9aeb9b4903936186ff13e)
