theorem that, in an election where candidate A receives 𝑝 votes and candidate B receives 𝑞 votes (𝑝>𝑞), the probability that A will be strictly ahead of B throughout the count is (𝑝−𝑞)/(𝑝+𝑞)
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).