theorem Th53: :: RING_3:54

for F being Field
for E being b₁ -homomorphic Field
for K being Subfield of F
for f being Function of F,E
for g being Function of K,E st g = f | the carrier of K & f is additive holds
g is additive