These are fun. There's another similar technique, which proves that a function f(n) maps positive integers to other positive integers by describing the set that the function counts.