Conditional Exchangeability Identification Formula