[verteu]

"Part One" of the informal proof is trivial, for the reason you've described. But "Part Two" is not: It shows that if the "pivotal voter" from Part One votes B>C, then B will beat C in the election, even if everyone else votes C>B.