「 qS_n - S_n 」の技法を用いて S_n = a_1 (q^n - 1)/(q - 1) を証明せよ。