また解空間formula_1は後述の議論で決定する。