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 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, so it is the limit of a sequence with in for all. Then 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.