The goal of this blog post is to provide a novel proof of the following result:

Proposition: Let $$A$$ be a finite set and let $$B$$ be a subset of $$A$$. Then $$B$$ is finite.