1: \begin{proof}[Proof of Theorem~\ref{thm:affine}] By \eqref{aff:vol:formula}, $$\vol_{n}(R(f) / \Z^n) = \sum_{F \in \fct(B)} a_F(f) \big(\int_0^1 \vol_{n-1} \Bigl( \bigl(H_F(f,h) \cap R_F(f) \bigr) / \Z^n \Bigr)\, \dd h\big).$$

2: %

3: %By Lemmas~\ref{lem:translation} and \ref{lem:trans-vol}, $\vol_{n-1} \Bigl( \bigl(H_F(f,h) \cap R_F(f) \bigr) / \Z^n \Bigr)$ is independent of $f$ and only depends on $h$ and $F$ [{\bf Amitabh: This argument is not water-tight. Lemma \ref{lem:trans-vol} was shown for the n-dimensional volume. Need the right notion of ``n-1 dimensional volume'' to make this rigorous - again the notion of ``density'' from differential geometry could be useful}]. Thus, the integral only depends above only depends on $F$. Let this integral be denoted by $\beta_F \in \R$. Therefore, $\vol_{n}(R(f) / \Z^n) = \sum_{F \in \fct(B)} \beta_F a_F(f)$ is an affine function in $f$ since each $a_F(f)$ is an affine function. \end{proof}

4: