Mark Fey extended the proof to an infinite number of voters.
Mark Fey は、投票者が無限人の場合に証明を拡張した。