Let's prove that, if a set has size \(n\), then that same set has exactly \(2^n\) subsets.
Why is 6 afraid of 7? Because 7 8 9.