declared and installed "applying Suslin Lemma"

needs CoefficientOfUnivariatePolynomial in MatricesForHomalg v2013.05.27