Estermann's Proof