documented SuslinLemma for two polynomials and an integer
Added documentation for SuslinLemma - 4 arguments case