An Alternative Proof of the Greville Formula

A simple proof of the Greville formula for the recursive computation of the Moore–Penrose (MP) inverse of a matrix is presented. The proof utilizes no more than the elementary properties of the MP inverse.