Proper morphism
 
x
OK