Assuming the proposition is true when n=k,