It is assumed the statement is true for [tex]S_k[/tex]:
Show that [tex]S_{k+1}[/tex] is also divisible by 5:
The first part is divisible by 5 as we assumed in the beginning and the second part has a factor of 5 so the sum is divisible by 5.
Hence it makes [tex]S_{k+1}[/tex] true, so the proof is complete.