Existence and Uniqueness of Finite Biproducts in Additive Categories