Do Section V.5 on the smallness of the Auxiliary polynomial.

• 5中关于辅助多项式有界性。