summary results when proving lemmas