60Siehe z. B. auch [Ros99, 9.1] oder [NZM91, 3.1].

@