Fan--Glicksberg theorem