stated results (*) and (**) on page 55 as lemmas, fixed reference label for definition:subrelation