Sobolev embedding theorem