theorem :: RING_3:46

for E being Field
for F being strict Subfield of E holds E includes F