A可以证明B,B 不一定可以证明A,这是个什么数学关系