sing_theorem_proving_to_verify_expectation.pdf;/974506/1/using_theorem_proving_to_verify_expectation.pdf