added example for SuslinLemma on three arguments