more polishing of Egbert's proof