Proving Properties of Fibonacci Representations via Automata Theory