グロモフの多項式増大定理