Redirecting to Borsuk–Ulam theorem