事実上局所ユークリッドから全部構築するような形になるんじゃないの？。