Merge pull request #8 from wagh/devel

Added example for SuslinLemma - four arguments