  In this paper an algebraic proof of Christoph's theorem is provided. This
theorem from algebraic-geometry is about the existence of a finite automaton
for computing coefficient of a series for an algebraic function.
