clarify proof of Egbert's theorem