Proof of Lemma 2 (cont..)

m delivered

0-valent

m delivered

1/0-valent

m delivered

1-valent

0-valent

m delivered (to p)

Case 1

Case 2

?

?

bivalent

In case 2, pick m’. This process of going down has to be finite because of termination.

m’ delivered

0/1-valent

Previous slide

Next slide

Back to first slide

View graphic version