  The details for the construction of an explicit formula for the divisors
function d(n) = #{d | n} are formalized in this article. This formula
facilitates a unified approach to the investigation of the error terms of the
divisor problem and circle problem.
