  The celebrated Wedderburn-Artin theorem states that a simple left artinian
ring is isomorphic to the ring of matrices over a division ring. We give a
short and self-contained proof which avoids the use of modules.
