RE: How to prove that the following set is finite?