Support Projection Identities for Positive Normal Functionals