If M/K is finite, then the formula imposes strong restrictions on the kinds of fields that can occur between M and K, via simple arithmetical considerations.
Jeśli M/K jest skończone, to twierdzenie nakłada silne ograniczenia na rodzaj ciał, które mogą wystąpić między M i K, za pomocą prostych arytmetycznych zależności.