  For modules over a finite-dimensional algebra, there is a canonical
one-to-one correspondence between the projective indecomposable modules and the
simple modules. In this purely expository note, we take a straight-line path
from the definitions to this correspondence. The proof is self-contained.
