[see also: develop, work out, detail, length
Theorem 3 below expands on this idea.
Expand f in powers of x.