The author first proved the following important theorem - "Unique Lifting Property of the Circle"
Then, the author proved the following corollary.
My question is: if corollary 8.6's assumption underlined by a red line is wrong. When two lifts $\tilde{f_0},\tilde{f_1}$ have the same initial point, they agree at the point $0$ of $[0,1]$. Then they should be identically equal by Theorem 8.3!
