P
Initializing...
Lemma 2.2 — valid deletion and contraction of one node give validity for N(K) · Prove2Me