Wie wählt man einen der Werte mit einer bestimmten Wahrscheinlichkeit aus?

Beispiel. Katja hat 10 Punkte bekommen, und Kolja — 20 Punkte. Also wird in einem von drei Fällen Katja gewinnen, und in zwei von drei Fällen — Kolja.

Es ist notwendig, den Gewinner der Lotterie zufällig auszuwählen, unter Berücksichtigung ihrer Gewinnwahrscheinlichkeiten.

Mit welcher Formel wird das berechnet (eine universelle Formel für eine beliebige Anzahl von Lotterieteilnehmern wird benötigt)?

p.s. Python language.