Whitney embedding theorem