Information-Theoretic Analysis using Theorem Proving