Equality of chains implies equality of ChainsWithProperty
Complete the proof of lemma 2.1
Prove lemma 2.1a

if e is a line and lambda e f == n then number of lines of length n
from e to f is s + 1