Strong separativity over exchange rings

An exchange ring R is strongly separative provided that for all finitely generated projective right R-modules A and B, A ⊕ A ≅ A ⊕ B ⇒ A ≅ B. We prove that an exchange ring R is strongly separative if and only if for any corner S of R, aS + bS = S implies that there exist u, v ∈ S such that au = bv and Su + Sv = S if and only if for any corner S of R, aS + bS = S implies that there exists a right invertible matrix ∈ M ₂(S). The dual assertions are also proved.