P

Initializing...

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