什么时候想到用全概率公式?