Theorem that a continuous mapping of a convex subset of a topological vector space into a compact subset of itself has a fixed point