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 .