formula_1は正規で固有な多様体とする。