虚拟空间的证明