Theorem 1: I Can Count

Let S be a set of positive integers.

Define a function f(n) = n mod 3.

• Theorem 2: I Can Count Higher
• About the Counter