(S. 15 [Ker76])