因为 $A\subset B$，所以 $A\cap B=A$。由 $P(B)>0$，

又 $0<P(B)\le 1$，故 $P(A\mid B)\ge P(A)$。等号可能在 $P(A)=0$ 或 $P(B)=1$ 时出现，因此必然成立的是 B。