How To Prove Mutually Exclusive Probability Rules