过量NH3与F2反应制备NF3,另一种产物为什么是NH4F而不是HF?