diff --git a/src/fa/rs/rs-bv.tex b/src/fa/rs/rs-bv.tex
index 3f40dc7..546212b 100644
--- a/src/fa/rs/rs-bv.tex
+++ b/src/fa/rs/rs-bv.tex
@@ -137,7 +137,7 @@
     \limv{n}S(P_n, c_n, f(\cdot, t), \alpha) = \int_a^b f(s, t) \alpha(ds)
     \]
 
-    uniformly for all $t \in [c, d]$. Since $\beta \in BV([c, d]; G)$, 
+    uniformly for all $t \in [c, d]$. Since $f \in C([a, b] \times [c, d]; E)$, $f$ is uniformly continuous by \autoref{proposition:uniform-continuous-compact}, and $\bracs{f(\cdot, t)|t \in [c, d]} \subset C([a, b]; E)$ is uniformly equicontinuous. As $\beta \in BV([c, d]; G)$, 
     \[
     \int_c^d\int_a^b f(s, t) \alpha(ds) \beta(dt) = \limv{n}\int_c^d S(P_n, c_n, f(\cdot, t), \alpha) \beta(dt)
     \]