Chain rule of probability