On peut généraliser un théorème connu sur les approximations diophantiques comme il suit:
Soient – espaces métriques (de M. Fréchet) compacts (ou du moins „bedingt kompakt”) avec les „distances” ; – soient des transformations isométriques des espaces , telles que , pour tout de . Alors à tout correspond un nombre entier positif tel que l’on a à la fois (pour ):
„” désigne la -ième itérée de la fonction .