Birkhoff–Kakutani theorem