取两块大小相同的干冰．在干冰中央挖一个小穴，撒入一些镁粉，用红热的铁棒把镁点燃，将另一块干冰盖上，你会看到镁粉在干冰内继续燃烧，发出耀眼的白光，像冰灯一样．已知该反应的生成物是氧化镁和碳．

干冰的化学式为______；该实验证明干冰具有______的性质（答一条即可）；为验证上述反应所得固体中无剩余镁，可向该固体中加入试剂得名称为______，反应的现象是______．