Let $n\in$ \reftext{def:natural-numbers-2026a}{$\mathbb{N}$}, let $\Omega$ be an admissible domain in \reftext{def:euclidean-space-rn-2026a}{Euclidean space} $\mathbb{R}^n$ with ambient set $D$ in the sense of \ref{def:continuous-n-form-support-euclidean-domain-2026a}, and let $\omega$ be a continuous differential $n$-form on $\Omega$ that is compactly supported in $\Omega$, with coefficient function $f$ and zero extension $\tilde f$, all in the sense of that definition. Then the following hold.

1. The function $\tilde f:D\to\mathbb{R}$ is \reftext{def:continuous-map-at-point-euclidean-2026a}{continuous at every point} of $D$.

2. There exists a \reftext{def:closed-box-rn-2026a}{closed box} $B\subseteq D$ with $\operatorname{supp}\omega\subseteq B$. When $D=H^n$ is the \reftext{def:closed-upper-half-space-euclidean-2026a}{closed upper half-space}, such a box has the form $B=[a_1,b_1]\times\cdots\times[a_n,b_n]$ with $a_n\ge 0$.

3. Let $B=[a_1,b_1]\times\cdots\times[a_n,b_n]\subseteq D$ be any closed box with $\operatorname{supp}\omega\subseteq B$, where $a_j,b_j\in\mathbb{R}$ with $a_j\le b_j$ for each $j\in\{1,\dots,n\}$. For fixed $(t_2,\dots,t_n)\in[a_2,b_2]\times\cdots\times[a_n,b_n]$ define

as a one-dimensional \reftext{def:riemann-integrable-closed-interval-c54-2026b}{Riemann integral}; recursively, for $r\in\{2,\dots,n\}$ and fixed $(t_{r+1},\dots,t_n)\in[a_{r+1},b_{r+1}]\times\cdots\times[a_n,b_n]$ define

Then at every stage the integrand is a continuous function of the integration variable on the corresponding closed interval, hence \reftext{lem:continuous-implies-riemann-integrable-c54-2026b}{Riemann integrable}, each function $G_r$ is continuous in its remaining variables, and the final value $G_n\in\mathbb{R}$ is well defined.

4. The value $G_n$ obtained in claim 3 is the same for every closed box $B\subseteq D$ with $\operatorname{supp}\omega\subseteq B$.