Shield lemma: $(u,w,6w-5u,3w-2u)$ is tree-safe and releases the node $N(u,w)$ · Prove2Me

P

Initializing...

Shield lemma: $(u,w,6w-5u,3w-2u)$ is tree-safe and releases the node $N(u,w)$ · Prove2Me