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