Usaf Conditional Probability Formula Proof