 This is an instance of Kummer's theorem (since in base "p" notation the number |"G"| ends with precisely "k" + "r" digits zero, subtracting "pk" from it involves a carry in "r" places), and can also be shown by a simple computation