finished the proof for controlling N^k uniformly in hbar