Uniqueness of the Normalized Trace on a Finite Factor