高瓦斯矿井使用的采矿灯必须应装有短路保护。