什麽证明了大气压强的存在?