The Book of Why: The New Science of Cause and Effect

by Judea Pearl

Now, as Euclid said 2,300 years ago, two things that each equal a third thing also equal one another. That means it must be the case that P(S | T) P(T) = P(T | S) P(S) (3.1)