Markov-Kakutani fixed-point theorem