Two simple proofs of the feasibility of the linear tracing procedure

Summary. Theories of equilibrium selection in non-cooperative games, as well as the notion of risk dominance, depend heavily on the so-called linear tracing procedure. This is the first paper to give direct, simple proofs of the feasibility of the linear tracing procedure. The first proof utilizes a result that is related to Kakutani's fixed point theorem and that is an extension of Browder's fixed point theorem. The second proof shows that it is even possible to avoid the use of correspondences.