托里拆利实验证明了什么