Torricelli's theorem