Probabilistic Analysis of Wireless Systems Using Theorem Proving