Lang's theorem — theorem in algebraic geometry