A Beautiful Probability Theorem