Example 28.
Substitution of
6
ˆ
for
4
ˆ
(a) context #1 (b) context #2
[AB: Same comment as Ex 24]
