We shall say more about the noncommutative nature of anabelian geometries after we state the main theorem (Theorem 1.17 below) on these geometries.