452 / 1173
P p
+
T
(
)
−
E e
+
T
(
)
=
D d
+
T
(
)
P p
+
L
(
)
−
E e
+
L
(
)
=
D d
+
L
(
)
D
=
P
−
E
Pp
+
PT
−
Ee
−
ET
=
Dd
+
DT
Pp
+
PL
−
Ee
−
EL
=
Dd
+
DL
Expanding:
P L
−
T
(
)
−
E L
−
T
(
)
=
D L
−
T
(
)
Subtracting and grouping:
QED