lautet:

T(β) sei eine matrixwertige, analytische Funktion über einem Gebiet R der komplexen Ebene, das einen Abschnitt der reellen Achse enthält. Für β ∈ ℝ sei T (β) selbstadjungiert, λ₀sei ein Eigenwert der Vielfachheit m von T(β₀).

Dann gilt: Wenn β₀reell ist, gibt es p ≤ m verschiedene Funktionen λ₁(β), …, λ_p(β), die in einer Umgebung von β₀einwertig und analytisch sind und alle Eigenwerte liefern.

Siehe auch Rellichsches Kriterium.