S\subseteq {\bf R} \land S \neq \emptyset \land (\exists M \in{\bf R})(\forall a \in S)(a\le M)\Rightarrow (\exists L\in S)(L = \sup S)