“…Although completeness can be shown as a direct consequence of Theorem 2.7, we prefer a proof of the complete integrability for the U(n) free rigid body dynamics based on the Bolsinov-Oshemkov codimension two principle, first, because it is natural from the viewpoint of the bi-Hamiltonian structure of the U(n) free rigid body dynamics and, second, since the proof can be performed directly, without restricting the U(n) free rigid body dynamics to the level hyperplanes of I (1) 0 and then invoking the complete integrability of the SU(n) free rigid body (see, [26,27,14]). We emphasize that our proof of the complete integrability gives an application of the Bolsinov-Oshemkov method to a bi-Hamiltonian system on a non-semi-simple Lie algebra, a case that is not discussed in detail in [8,7]. At the end of the section, we also mention another proof of the complete integrability of the U(n) free rigid body that uses a theorem of Brailov on completely involutive sets of functions on affine Lie algebras; see [14, Chapter 5, §20.2] for a nice presentation of this result.…”