S is a bounded non empty group.i need to prove thati cant understand why it proves the law??
if c=0 then it trivial
if c>0 then we need to prove that the smallest upper bound to cS is
this is how the book proves:
we take s<csupS so cannot
be the supremum and there is for which .