Page "Bishop–DeLeeuw theorem" not found :(