P
Initializing...
p. 63 — interchanging two adjacent items: $K'_u = K_u$ elsewhere, and (I) ⟺ (II) · Prove2Me