(Theorem of Bliss) Let $f, g:[a, b] \rightarrow \mathbb{R}$ be integrable. For each $n \in \mathbb{N}$, consider a partition $P_{n}:=\left\{x_{n, 0}, x_{n, 1}, \ldots, x_{n, k_{n}}\right\}$ of $[a, b]$, and for $i=$ $1, \ldots, k_{n}$, let $s_{n, i}, t_{n, i} \in\left[x_{n, i-1}, x_{n, i}\right]$, and let
$$
\widetilde{S}\left(P_{n}, f g\right):=\sum_{i=1}^{k_{n}} f\left(s_{n, i}\right) g\left(t_{n, i}\right)\left(x_{n, i}-x_{n, i-1}\right)
$$