Proving more lemmata