結果 : define conditional probability state and prove multiplication theorem