e/Probabilistic proofs of non-probabilistic theorems

Information
lexicalization	eng: Probabilistic proofs of non-probabilistic theorems
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof