Ryll–Nardzewski fixed point theorem