某钢铁厂用100 $t$含氧化铁80%的赤铁矿炼铁，计算理论上可冶炼出铁的质量。