deletions | additions       diff --git a/We_note_a_few_simple__.tex b/We_note_a_few_simple__.tex  index e569a0e..35c10d6 100644  --- a/We_note_a_few_simple__.tex  +++ b/We_note_a_few_simple__.tex 
...
We note a few simple properties of error spaces which will be useful in the following.  \begin{proposition}  \label{prp:err_spc_zero}  For any error space $\mathcal{E}$, $0 \in \mathcal{E}$. 
...
Follows from conditions (ii) and (iii), since $0 \leq 2^{-h}$.  \end{proof}  \begin{proposition}  For any error space $\mathcal{E}$, $\varepsilon \in \mathcal{E}$ and $c \in \Reals^{\geq 0}$, $c \varepsilon \in \mathcal{E}$.  \end{proposition}  \begin{proof}  For $c = 0$, it follows from proposition~$\ref{prp:err_spc_zero}$. For $c > 0$, it follows from condition (i).  \end{proof}