[math-fun] Binary number divisible by 3? (was Re: FW: squares beginning with n)