Whitney's embedding theorem