Title: Proofs of the reality and truth of lottery calculations