Geometric_mean_theorem