quasi-prokectivityってそんなに証明難しいのか？
モジュライ空間を完備多様体に埋め込んだら、その完備多様体が
射影多様体だったってことだろ？