Lineariseringsteorem