如何证明一氧化碳还原氧化铁有单质生成