Fixed assertion in SuslinLemma (four arguments)