abstract Gronwall Lemma