Geomeetrilise keskmise mõiste. Kõrguse teoreem