isoenergetic nondegeneracy