Theorem. [0039]

Seien mit und . Dann gilt .

Proof. Aus diesem Lemma folgt, dass wir ganze Zahlen mit finden. Wir erhalten

Es gilt und also .