PP Presentation
Let
and
subst
into
You get
prove (etc)
(13)
D
U
D
1
=
H
+
D
´
(
1
-
E
)
H
+
D
(
1
-
E
)
H
´
1
+
CT
/
(
H
+
D
)
U
xD
1
=
opt
H
+
xD
opt
´
(
1
-
EH
-
ExD
opt
)
(
1
-
EH
)
´
1
+
CT
/
(
H
+
xD
opt
)
Previous slide
Next slide
Back to the first slide
View Graphic Version