put back the other proof of Egbert's theorem