Merge pull request #7 from wagh/devel

Added documentation for SuslinLemma - 4 arguments case
added example for SuslinLemma on three arguments