展开 如何证明abc相互独