simplify the proof of Egbert's theorem