Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
The first case in the proof of Lemma 7, where q is not an endpoint of a horizontal arc at the top. Two rNNI moves are applied to the orchard network, which results in an orchard network where the triangle is at q. The heights of the nodes represent an HGT-consistent labelling
