Birkhoff-Kakutani Theorem