Nach Voraussetzung gibt es einen -Ausdruck in
freien Variablen derart, dass für alle -Tupel die Äquivalenz
genau dann, wenn gilt. Es sei
-
ein Punkt. Dabei gilt insbesondere für beliebige die Gleichheit
genau dann, wenn gilt. Diese Gleichung bedeutet, dass zur Faser über gehört. Daher ist der Ausdruck
-
in den freien Variablen
ein Ausdruck, der die Faser über
arithmetisch repräsentiert.