結果 : state and prove total probability theorem