Gludman's Proof