展开 ab相互独立证明a逆b也