(S. 17 [Ker76])