Added documentation for SuslinLemma - 4 arguments case