Torricelli’s theorem