Ok, this is what I have got:
Let xn be in KnF.
=> xn is in K. =>We know that K is compact, so every sequence in K has a subsequence that converges to a limit that is also in K.
=> xn is in F. => By definition, if xn -> c , then c is in F. By B-W theorem, it must have a convergent...