add another 'for each r'
fix statement of lemma

it is still wrong as our rewrite rules are not powerful enough...