Perelman's Finite-Time Extinction Theorem for Simply Connected Closed Three-Manifolds