Here $n$ is the number of variables and $m$ is the number of constraints. This is the Exercise 3.10 (with asterisk) in the classical textbook Introduction to Linear Optimization by Dimitris Bertsimas and John Tsitsiklis.
The solution given by my professor says "Please find the proof in Marshall and Suurballe (1969)." However, in their 1969 paper "A note on cycling in the simplex method", they actually assumed a specific pivoting rule. They only proved that using that version of simplex method, the claim is true. The proof is highly dependent on the way of choosing entering and leaving variable. I tried to imitate the proof in an arbitrary pivoting rule setting, but failed.
I also searched online for references that are related to this topic, but the most related convincing result is "a basic feasible solution with a single degeneracy cannot reappear in the sequence of bases" in the paper by Saul I. Gass, published in Annals of Operations Research $47(1993)335-342$.
I can easily prove no cycling occurs for any pivoting rule when $n-m=1$ because the variable just entered the basis cannot leave in the next iteration. However, this cannot be generalized to $n-m=2$ because the entered variable can leave basis in the next second iteration.
I would appreciate it if anyone could give some hint on this problem.
Here is a solution manual for that question.
https://math.berkeley.edu/~bernd/HW3solution.pdf
I don’t really understand the arguments, but basically it says when $n-m=2$, either the polyhedron is unbounded or the polyhedron is bounded but all BFS are nondegenerate. In both cases, simplex method terminates in finitely many steps.