added prop about algebraic extending field morphisms