documented SuslinLemma for two polynomials and an integer