Lang%E2%80%93Steinberg theorem