(S. 14 [Ker76])