LWG4462 Algorithm requirements don't describe semantics of s - i well

Fixes US 154-252 (C++26 CD).

Author: burblebee

source/algorithms.tex

@@ -233,7 +233,9 @@
 \end{codeblock}
 For each iterator \tcode{i} and sentinel \tcode{s}
 produced from a range \tcode{r},
-the semantics of \tcode{s - i} has the same type, value, and value category
+the semantics of \tcode{s - i}
+are the same as those of an expression that
+has the same type, value, and value category
 as \tcode{ranges::distance(i, s)}.
 \begin{note}
 The implementation can use \tcode{ranges::distance(r)}