Show that K is a subfield of F if and only if implies that
So, we know that all fields have inverses. So, if then we can say . Then we have and because . Now this doesn't completely show part of the iff does it? If we know that the element has an inverse, can we say it satisfies all of the other axioms of a field?