R^nに埋め込まれたk次元多様体Mは、Mの点xの近傍では、R^kの開部分集合からR^(n-k)への滑らかな写像のグラフと同一視できますか？