replaced extra lemma by gradth