  In this paper, we use the idempotent decomposition to give an explicit
isomorphism from an arbitrary semisimple Artinian ring to an external direct
sum of finitely many full matrix rings over division rings.
