A Derivation of Backdoor Adjustment