Integres Schema/Injektive Restriktionen/Fakt/Beweis

Beweis

Sei nicht . Die Menge

ist offen nach Fakt und wegen der Reduziertheit nicht leer. Wegen der Irreduzibilität von ist ebenfalls nicht leer und somit ist die Restriktion von auf ebenfalls nicht .