Redirecting to Rellich-Kondrachov theorem