高炉煤气是炼钢的副产品。