Dies folgt aus Fakt und Fakt, wobei der Zusammenhang auf Y {\displaystyle {}Y} sichert, dass die Blätterzahl auf dem Überlagerungsort konstant ist.