(S. 11 [Ker76])