A generalization of an inequality of Lech relating multiplicity and colength*. Issue 6 (3rd June 2019)