Geometric Mean Theorem