Comment by emil-lp

I don't understand. What does this mean?

    Theorem 6. The following are equivalent: The binary expansion of 7.