A ⊆ B. Prove P(A|B)>= P(A)