show code of the four argument SuslinLemma in documentation