>>481
任意のP∈Mに対して
その近傍N(P)は

Q∈N(P)に対してQP^(-1)を取ることで
N(E_3)に移るので、各点の近傍で(e)が言えるし
座標変換もE_3の近傍に戻してやればできるんじゃないの。