一氧化碳还原氧化铁实验中怎样证明空气排尽