https://123dok.net/document/z3d46gee-differences-sets-lengths-krull-monoids-finite-class-group.html