The proofs of some corollaries and some calculations of "The research focuses on the regulatory and punitive effects of regulatory agencies in enhancing the quality of carbon information disclosure in enterprises, based on a dynamic game model"