実解析多様体上にanlytic riemann metricが構築できる様なのですが、
本当ですか？
また、どうやって？