A more or less complete rendering of Prohorov's compactness argument proving the Donsker Invariance Principle for random walks