Exercise 2, § 8

Let A be a ring. Prove that the $(A$, A)-bimodule $_sA_d$ is semisimple if and only if A is isomorphic to a finite product of quasi-simple rings.