P
Initializing...
Fact 2, p. 16 — if vij > γ = 0.911, then every adjacent pair ik has vik < 1/3 · Prove2Me