What Is The Formula In Theorem 8.1 In Tex