Finite Product in Preadditive Category is Biproduct

Also see

 * Finite Coproduct in Preadditive Category is Biproduct