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 .