Dado, existe uma distribuição de eleitores, de modo que todas as partições nos distritos viole pelo menos um de (1), (2) e (3).Em seguida, a prova não usa todo o poder de (1), mas que cada distrito contém pelo menos uma fração dos eleitores.Antes de começar, brincamos com a idéia de usar Manim, mas não sabíamos qual seria a curva de aprendizado, então seguimos com uma opção mais familiar.Para 3, seguiríamos as idéias de prova deste artigo de Bespamyatnikh, Kirkpatrick e Snoeyink.Por razões de exposição, a maior parte do vídeo leva, e sem afetar a idéia da prova.
Fonte: https://dustingmixon.wordpress.com/2023/08/04/math-exposition-on-youtube/