P
Initializing...
Theorem 1 — a matching is maximum iff no alternating chain connects two neutral points · Prove2Me