finally a usefull scratch lemma