That is just the first stage of this proof. You need to go on to show that for each of the sets used in the construction of the Cantor set. So there exist with . Finally, you need to show that a subsequence of the sequence converges to a point x in the Cantor set. The corresponding subsequence of the s will then converge to a point y in the Cantor set, with x+y=s.