Corollary 7.17. Assuming that:

  • U,V are independent random variables

  • (U,V) is C-relevant to (X,Y)

Then