https://123dok.net/document/zgwk3n6y-the-cauchy-davenport-theorem-for-semigroups.html