Rellich%E2%80%93Kondrachov theorem