Rellich-Kondrachov Theorem