A relaxation keeping the tight rows of a vertex becomes bounded after one auxiliary cut

Initializing...

A relaxation keeping the tight rows of a vertex becomes bounded after one auxiliary cut · Prove2Me