BCRB 2018

P p + T ( ) − E e + T ( ) = D d + T ( ) P p + L ( ) − E e + L ( ) = D d + L ( ) Pp + PT − Ee − ET = Dd + DT Pp + PL − Ee − EL = Dd + DL

Expanding:

Subtracting and grouping:

P L − T ( ) − E L − T ( ) = D L − T ( )

D = P − E

QED