题目内容：

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

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