Doesn’t this also imply that i == 1 because CB has zero length, forcing AC and AB to be coincident? That sounds like a disproving contradiction to me.