The Cauchy-Davenport Theorem for Finite Groups - Jeffrey Paul Wheeler (2012)