We present a method for converting Theorem B style proofs in algebraic K-theory to Theorem A style proofs and apply it to the additivity theorem.