•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

Proper base change theorem