Page "Garnir–Wright closed graph theorem" not found :(