A non-geodesic cycle splits into two strictly shorter cycles whose binary edge vectors add to it

Initializing...

A non-geodesic cycle splits into two strictly shorter cycles whose binary edge vectors add to it · Prove2Me