Wenn c ein Vielfaches von d ist gilt c = k·d bzw. c/d ist ohne Rest teilbar.
Nun sind aber alle Summanden an·g^n, ..., a2·g^2, a1·g^1 auf jeden Fall durch d teilbar, weshalb letztendlich auch a0 durch d teilbar sein muss, damit die gesamte Summe durch d teilbar ist.
Ist das so weit verständlich?
Wenn nicht, mach dir gerne zuerst ein paar Zahlenbeispiele mit beliebigen g, d und c, damit du es zunächst an einfachen Zahlen nachvollziehen kannst.