Then, so it is the limit of a sequence with in for all, hence for all, is also in and thus its limit is in.
Then, so it is the limit of a sequence with in for all. Then for all, is also in and thus its limit is in.