[Ver82], p. 215.