Lemma. Earliest-failure labels are unique [ftip-00HQ]

For a finite ordered gate chain with at least one failed gate, the earliest failed index is unique and therefore determines one primary taxonomy label.