The Additivity Theorem in K-theory