Prove that the sum of n terms of GP with first term a and common ratio r is given by `S_n=a(r^n-1)/(r-1)`