Towards invariance of algebraically closed base field

Unfinished argument...