海绵铁是铁矿石在高炉炉身部位形成的。