To finish, we assume the relation holds for k and multiply both sides by to show that it holds for k+1.

Return