Lemma 6.6

Lemma 6.6 (Canonical history exists). Every realizable finite strong trace has a unique lexicographically least history. It is obtained from left to right by appending the least row that realizes the next figure over the already chosen prefix.