ARPANET的成功运行证明了分组交换理论的正确性。