nondegeneracy