(S. 16 [Ker76])