Non-Degeneracy of the Trace Form