theorem of Geometric mean