Basic theorems in algebraic K-theory

In mathematics, there are several theorems basic to algebraic K-theory. Throughout, for simplicity, we assume when an exact category is a subcategory of another exact category, we mean it is strictly full subcategory (i.e., isomorphism-closed).