ただし "w" は "u"1と "u"2のロンスキー行列式である("u"1と "u"2が線型独立であるという仮定から "w" が0でないことは分かっている)。