某实验室用一氧化碳还原氧化铁制得铁。现将4.0g氧化铁与足量一氧化碳充分反应后，可得到铁的质量