Added example for SuslinLemma - four arguments