Describir: An ergodic IP polynomial Szemerédi theorem /