8.4a - Torricelli's Theorem