Proof:

The relation $ \sim$ on $ S^n$ given by (4.2) defines a closed subset of $ S^n \times S^n$.

nisha 2012-03-20