下列有关化学用语，正确的是（　　）

A．氧化亚铁溶于足量的稀硝酸中：FeO+2H⁺=Fe²⁺+H₂O

B．向Ca（HCO₃）₂溶液加少量氢氧化钠溶液：Ca²⁺+2HCO₃^-+2OH^-=CaCO₃↓+CO₃^2-+2H₂O

C．少量CO₂通入苯酚钠溶液中：C₆H₅O^-+CO₂+H₂O=C₆H₅OH+HCO₃^-

D．醋酸溶液与水垢中的CaCO₃反应：CaCO₃+2H⁺=Ca²⁺+H₂O+CO₂↑

执行下列语句后，程序的输出结果为 【7】 。
x=6： y=2： z=5
Print z=x-y