数学证明题:焦炭的成分