Talk:Basic theorems in algebraic K-theory