We prove that if two finitely generated groups act by isometries on a metrically complete
-dimensional
Euclidean building, then the distance between their fixed-point sets is realised.
Our proof uses the geometry of Euclidean buildings, which we view as
spaces, and properties of ultrapowers of Euclidean buildings.
